Model-based testing of stochastically timed systems
نویسندگان
چکیده
منابع مشابه
Timed model-based testing
Testing is one of the most natural, intuitive and widely used methods to check the quality of software. One of the emerging and promising techniques for test automation is model-based testing. In model based testing, a model of the desired behavior of the implementation under test (IUT) is the starting point for test generation. In addition, this model serves as the oracle for test result analy...
متن کاملStochastically Enhanced Timed Automata
In our previous work, we have been interested in the development of methodologies and techniques for the specification and verification of distributed multimedia systems, with particular emphasis on object and component-based systems [Blair98a]. This has led us to develop an aspect-oriented style of specification that follows the principles of aspect-oriented programming [AOP00][Murphy99]. Esse...
متن کاملModel-based Mutation Testing with Timed Automata
Model-based testing is a popular technology for automatic and systematic test case generation (TCG), where a system-under-test (SUT) is tested for conformance with a model that specifies its intended behavior. Model-based mutation testing is a specific variant of modelbased testing that is fault-oriented. In mutation testing, the test case generation is guided by a mutant, an intentionally alte...
متن کاملImplementing Stochastically-Timed COWS for the Prism Probabilistic Model Checker
This thesispresents the implementationof theCOWS2Prism system, a compiler for stochastic COWS (Calculus for Orchestration of Web Services) into Prism. The process calculus COWS is intended to aid in the precise description of Web Services compositions. This places the present informal development approach associated with Web Services into a formal reasoning framework. The COWS calculus concerns...
متن کاملCooperative Testing of Timed Systems
This paper deals with targeted testing of timed systems whose models may have uncontrollable behavior. The testing activity is viewed as a game between the tester and the system under test (SUT) towards a given test purpose. The SUT is modeled as Timed Game Automaton and the test purpose is specified in Timed CTL formula. We employ a timed game solver UPPAAL-TIGA to check if the test purpose is...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Innovations in Systems and Software Engineering
سال: 2019
ISSN: 1614-5046,1614-5054
DOI: 10.1007/s11334-019-00349-z